Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
341	Real-Time Java Scoped Memory: Design Patterns and Semantics F. Pizlo J. M. Fox D. Holmes† Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2011-08-21 17:36:37 Memory management Cross-platform software Data types Java programming language Software bugs Closure Garbage collection Scope Real time Java Software engineering Computing Computer programming
342	cognitive agent programming a semantic approach Add to Reading List Source URL: www.pst.ifi.lmu.de Language: English - Date: 2006-09-29 11:07:11 Semantics Applied mathematics Denotational semantics Philosophy of language Operational semantics Formal semantics Principle of compositionality Theoretical computer science Logic in computer science Programming language semantics
343	PRAGMATIZATION OF SEMANTICS Jaroslav Peregrin* (The Semantics/Pragmatics Interface from Different Points of View, ed. K.Turner, Elsevier, Amsterdam, 1999, Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:45 Philosophy Philosophy of language Meaning Philosophical logic Analytic philosophers Rudolf Carnap Programming language Pragmatics Formal semantics Analytic philosophy Logic Semantics
344	(! 1 J TOWARD A MATHEMATICAL Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2011-08-17 01:57:53 Programming language semantics Models of computation Denotational semantics Metalanguage Programming language Number Dana Scott Arithmetic 0 Mathematics Elementary arithmetic Logic in computer science
345	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 51–56 Add to Reading List Source URL: www.proceedings2006.imcsit.org Language: English - Date: 2008-12-10 17:40:49 Compiler construction Software Artificial intelligence applications Programming language implementation Semantics Text normalization Speech synthesis Natural language processing Transfer-based machine translation Linguistics Computational linguistics Science
346	Under consideration for publication in Math. Struct. in Comp. Science Formalizing Domains, Ultrametric Spaces and Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-11 18:09:29 Topology Logic in computer science Programming language semantics General topology Continuous function Lambda calculus Monad Denotational semantics Function Mathematics Theoretical computer science Models of computation
347	Compiling Concurrency Correctly Verifying Software Transactional Memory Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-07-27 06:01:07 Transaction processing Concurrency control Programming language semantics Logic in computer science Programming language implementation Denotational semantics Software transactional memory Transactional memory Haskell Computing Software engineering Theoretical computer science
348	A Theory of Dynamic Software Updates A thesis submitted for the Degree of Doctor in Philosophy, by Gareth Paul Stoyle of Hughes Hall. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-04-19 03:38:21 Theoretical computer science Grammar Dynamic Software Updating System administration Lambda calculus Thesis Programming language Semantics Linguistics Knowledge Education Models of computation
349	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics
350	Event-Driven FRP Walid Taha, Zhanyong Wan, and Paul Hudak Department of Computer Science, Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2001-08-22 00:57:04 Programming language theory Models of computation Logic in computer science Functional programming Functional reactive programming Denotational semantics Reactive programming ALGOL 68 Software engineering Evaluation strategy Computing

UPDATE